Event Systems 0,22
DIR: event-structures1

DIR: message-automata

DIR: concrete-message-automata

DIR: event-system

origin